Technology

Results: 829226



#Item
131Theoretical computer science / Mathematics / Formal methods / Logic in computer science / Models of computation / Temporal logic / Runtime verification / Formal verification / Model checking / Linear temporal logic / Finite-state machine / FO

Runtime Verification Logics A Language Design Perspective Klaus Havelund1? and Giles Reger2?? 1 Jet Propulsion Laboratory, California Inst. of Technology, USA

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2017-08-22 15:37:59
132Constraint programming / Mathematical optimization / Theoretical computer science / Statistical classification / Artificial intelligence / Machine learning / Support vector machine / Constraint satisfaction problem / Constraint satisfaction / Decomposition method / Constrained optimization / Constraint

Learning-Based Abstractions for Nonlinear Constraint Solving Sumanth Dathathri ∗1 , Nikos Arechiga2 , Sicun Gao3 , and Richard M. Murray1 1 Computing and Mathematical Sciences, California Institute of Technology 2

Add to Reading List

Source URL: scungao.github.io

Language: English - Date: 2018-09-27 16:37:21
133Computing / Network architecture / Emerging technologies / Information and communications technology / Configuration management / Software-defined networking / Ethernet / OpenFlow / Computer architecture / Access control / Computer network / Network interface controller

Control-data plane intelligence trade-off in SDN Yash Sinha, Siddharth Bhatia Birla Institute of Technology and Science, Pilani, India Abstract— With the decoupling of network control and data

Add to Reading List

Source URL: www.ieee-security.org

Language: English - Date: 2017-05-13 21:01:36
134Scheduling / Information technology management / Business / Economy / Production planning / Computing / Schedule / Job scheduler / Local consistency / Business process management / Constraint programming / Windows Task Scheduler

Planware II: Synthesis of Schedulers for Complex Resource Systems Marcel Becker Limei Gilham Douglas R. Smith Kestrel Technology

Add to Reading List

Source URL: www.kestrel.edu

Language: English - Date: 2012-08-02 20:44:21
135Logic / Mathematical logic / Theoretical computer science / FO / Finite model theory / Predicate transformer semantics / Model theory / Substitution

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Exploiting Traces in Static Program Analysis Better Model Checking through printfs Alex Groce, Rajeev Joshi

Add to Reading List

Source URL: rjoshi.org

Language: English - Date: 2010-09-11 18:44:06
136Statistical randomness / Metaphysics / Free software / Game artificial intelligence / Dynamic programming / Markov processes / Stochastic control / Rondebosch / University of Cape Town / Monte Carlo tree search / Abstraction / Markov decision process

Dissertation Abstract: Exploiting Symmetries in Sequential Decision Making under Uncertainty Ankit Anand Indian Institute of Technology, Delhi New Delhi,India

Add to Reading List

Source URL: icaps16.icaps-conference.org

Language: English - Date: 2016-06-09 08:09:17
137Data security / Law / Data protection / Privacy law / Information privacy / Internet privacy / Europe / General Data Protection Regulation / Privacy / Right to be forgotten / Data Protection Act

Compliance guide for smaller businesses, charities and other organisations Data protection and privacy laws are being strengthened throughout the world in response to the ever increasing use of technology and the threats

Add to Reading List

Source URL: www.inforights.im

Language: English - Date: 2018-07-17 06:03:27
138American Solar Challenge

2nd International Seminar and Workshop on Emerging Technology and Innovation for Cultural Heritage Parchment, Leather and Textiles Collections and Their Environment Bucharest, Romania, 3rd – 6th September 2013 Programm

Add to Reading List

Source URL: www.collage.com.ro

Language: English - Date: 2013-07-15 07:35:44
    139

    LLL reducing with the most significant bits Saruchi Ivan Morel Indian Institute of Technology New Delhi

    Add to Reading List

    Source URL: perso.ens-lyon.fr

    Language: English - Date: 2017-06-27 04:39:37
      UPDATE